Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
71	OPTIMAL DECOMPOSITIONS FOR THE K-FUNCTIONAL FOR A COUPLE OF BANACH LATTICES. MICHAEL CWIKEL AND URI KEICH Abstract. Let f = gt + ht be the optimal decomposition for calculating the exact value of the K-functional K(t, f Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2000-10-26 15:19:26 Fourier analysis Banach spaces Interpolation space Constructible universe Operator theory Spectral theory Differential forms on a Riemann surface Holomorphic functional calculus
72	Chapter 1 Smooth Manifolds This book is about smooth manifolds. In the simplest terms, these are spaces that locally look like some Euclidean space Rn , and on which one can do calculus. The Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2012-09-12 13:06:39 General topology Manifolds Mathematical structures Topological manifold Topology Differentiable manifold Nonlinear functional analysis Diffeomorphism Locally connected space Topological space Metric space Paracompact space
73	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Stability and feasibility of MPC for switched linear systems with dwell-time constraints Bridgeman, L.; Danielson, C.; Di Cairano, S. Add to Reading List Source URL: www.merl.com Language: English - Date: 2016-07-07 10:52:35 Control theory Systems theory Mathematical optimization Optimal control Model predictive control State-space representation Lyapunov stability Dynamical system Linear system Kalman filter Holomorphic functional calculus
74	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
75	The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
76	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
77	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
78	Switching Between Stabilizing Controllers 3 Jo˜ao P. Hespanha 1 Dept. of Electrical and Computer Engineering, University of California, Santa Barbara, CA Add to Reading List Source URL: www.ece.ucsb.edu Language: English - Date: 2016-08-11 19:54:32 Control theory Mathematical modeling State-space representation Dynamical system Matrix Substitution Holomorphic functional calculus
79	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus
80	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression

UPDATE